Knihy od autora Nikolai Kosmatov

Zobrazeno 1 – 4 z 4 výsledků

1. 

   Integrated Formal Methods

   Nikolai Kosmatov, Laura Kovács | Springer, Berlin, 2025

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3297 Kč

   Koupit
2. 

   Guide to Software Verification with Frama-C

   Nikolai Kosmatov, Virgile Prevosto, Julien Signoles | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1614 Kč

   Koupit
3. 

   Testing Software and Systems

   Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall | Springer Nature Switzerland AG, 2019

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Tests and Proofs

   Jasmin Christian Blanchette, Nikolai Kosmatov | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1135 Kč

   Koupit

Informujeme vás o každém kroku vyřizování objednávky. Zjistěte více